6H-Pyrano[2,3,4-ij]quinolizine-5-carboxylic acid, 9-fluoro-2,3,3a,10b-tetrahydro-10-(3-hydroxy-1-pyrrolidinyl)-3-methyl-6-oxo-, (3R)- AIDS-094802 AIDS094802