3-Quinolinecarboxylic acid, 1-cyclopropyl-7-[4-[1-(ethoxycarbonyl)-2,2,2-trifluoro-1-[(3-methyl-1-oxobutyl)amino]ethyl]-1-piperazinyl]-6-fluoro-1,4-dihydro-4-oxo- AIDS-112895 AIDS112895 NSC675206