3-Quinolinecarboxylic acid, 6-amino-1-cyclopropyl-1,4-dihydro-4-oxo-7-[4-[3-(trifluoromethyl)phenyl]-1-piperazinyl]- AIDS-221548 AIDS221548 WC-12 WC12