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