3-Quinolinecarboxylic acid, 1-cyclopropyl-8-ethoxy-7-(1-piperazinyl)-6-fluoro-1,4-dihydro-4-oxo- AIDS-106187 AIDS106187 Quinolone deriv