3-Quinolinecarboxylic acid, 1-(1,1-dimethylethyl)-7-[3-[(ethylamino)methyl]-1-pyrrolidinyl]-6,8-difluoro-1,4-dihydro-4-oxo- AIDS-111486 AIDS111486