6-Chloro-1-cyclopropyl-8-fluoro-1,4-dihydro-4-oxo-7-[4-(2-oxopropyl)-1-piperazinyl]- 3-quinolinecarboxylic acid AIDS-104524 AIDS104524 Quinolone deriv