(+/-)-1-Cyclopropyl-7-fluoro-9-methyl-8-(3aR,7aR)-octahydro-pyrrolo[2,3-c]pyridin-6-yl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094789 AIDS094789