3-Quinolinecarboxylic acid, 1-(1,1-dimethylethyl)-6-fluoro-7-[3-(fluoromethyl)-1-piperazinyl]-1,4-dihydro-4-oxo- AIDS-111236 AIDS111236