3-Quinolinecarboxylic acid, 1-cyclopropyl-6-fluoro-7-[4-[2-(4-fluorophenyl)-2-oxoethyl]-1-piperazinyl]-1,4-dihydro-4-oxo- AIDS-083201 AIDS083201