3-Quinolinecarboxylic acid, 7-[4-[2-(4-bromophenyl)-2-oxoethyl]-1-piperazinyl]-1-cyclopropyl-6-fluoro-1,4-dihydro-4-oxo- AIDS-083198 AIDS083198