3-Quinolinecarboxylic acid, 1-ethyl-6,8-difluoro-1,4-dihydro-4-oxo-7-[4-(2-oxo-2-phenylethyl)-1-piperazinyl]- AIDS-102555 AIDS102555