3-Quinolinecarboxylic acid, 7-[4-[1-(benzoylamino)-1-(ethoxycarbonyl)-2,2,2-trifluoroethyl]-1-piperazinyl]-1-cyclopropyl-6-fluoro-1,4-dihydro-4-oxo- AIDS-112896 AIDS112896 NSC675207