3-Quinolinecarboxylic acid, 1-cyclopropyl-6-fluoro-1,4-dihydro-7-[4-[2-(4-methylphenyl)-2-oxoethyl]-1-piperazinyl]-4-oxo- AIDS-083208 AIDS083208