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