3-Quinolinecarboxylic acid, 1-cyclopropyl-6-fluoro-1,4-dihydro-4-oxo-7-[4-(2-pyridinyl)-1-piperazinyl]-8-(trifluoromethyl)- AIDS-058529 AIDS058529