3-Quinolinecarboxylic acid, 8-(difluoromethyl)-6-fluoro-1,4-dihydro-1-methyl-4-oxo-7-[4-(2-pyridinyl)-1-piperazinyl]- AIDS-031133 AIDS031133