1-Cyclopropyl-7-fluoro-9-methyl-8-((4aS,7aS)-1-methyl-octahydro-pyrrolo[3,4-b]pyridin-6-yl)-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094780 AIDS094780