3-Quinolinecarboxylic acid, 1-cyclopropyl-6,8-difluoro-1,4-dihydro-7-(octahydro-6H-pyrrolo[3,4-b]pyridin-6-yl)-4-oxo-, (4aS-cis)-