1,8-Naphthyridine-3-carboxylic acid, 1-(1,1-dimethylethyl)-7-[3-(ethylamino)-1-pyrrolidinyl]-6-fluoro-1,4-dihydro-4-oxo- AIDS-111245 AIDS111245