1-Cyclopropyl-7-fluoro-8-(3aS,6aS)-hexahydro-pyrrolo[3,4-b]pyrrol-5-yl-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094778 AIDS094778