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