6-Chloro-1-cyclopropyl-8-fluoro-1,4-dihydro-4-oxo-7-(3-cyclohexyl-1-piperazinyl)- 3-quinolinecarboxylic acid AIDS-104521 AIDS104521 Quinolone deriv