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