3-Quinolinecarboxylic acid, 1-(1,1-dimethylethyl)-7-[4-(1,1-dimethylethyl)-1-piperazinyl]-6-fluoro-1,4-dihydro-4-oxo- AIDS-111484 AIDS111484