3-Quinolinecarboxylic acid, 6-fluoro-1-(2-fluoro-1,1-dimethylethyl)-1,4-dihydro-4-oxo-7-(1-piperazinyl)- AIDS-111107 AIDS111107