1-Cyclopropyl-7-fluoro-8-(R)-1,2,3,5,7,7a-hexahydro-pyrrolo[3,4-b]pyridin-6-yl-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094792 AIDS094792