3-Quinolinecarboxylic acid, 1-ethyl-6-fluoro-1,4-dihydro-7-[4-(1-methyl-4-piperidinyl)-1-piperazinyl]-4-oxo- AIDS-030739 AIDS030739 PD 111752