3-Quinolinecarboxylic acid, 8-(difluoromethyl)-1-ethyl-6-fluoro-1,4-dihydro-4-oxo-7-[4-(2-pyrimidinyl)-1-piperazinyl]- AIDS-031230 AIDS031230