1-Cyclopropyl-7-fluoro-9-methyl-8-(3aR,7aS)-octahydro-pyrrolo[3,4-c]pyridin-2-yl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094785 AIDS094785