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