1-(tert-Butyl)-7-(4-cyclopent-2-enylpiperazinyl)-6-fluoro-4-oxohydroquinoline-3-carboxylic acid AIDS-111481 AIDS111481