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