7-[(4aS,7aS)-1,2,3,4,4a,5,7,7a-octahydropyrrolo[3,4-b]pyridin-6-yl]-8-cyano-1-cyclopropyl-6-fluoro-4-oxoquinoline-3-carboxylic acid 7-[(4aS,7aS)-1,2,3,4,4a,5,7,7a-octahydropyrrolo[3,4-b]pyridin-6-yl]-8-cyano-1-cyclopropyl-6-fluoro-4-oxo-quinoline-3-carboxylic acid 7-[(4aS,7aS)-1,2,3,4,4a,5,7,7a-octahydropyrrolo[3,4-b]pyridin-6-yl]-8-cyano-1-cyclopropyl-6-fluoro-4-oxo-3-quinolinecarboxylic acid 7-[(4aS,7aS)-1,2,3,4,4a,5,7,7a-octahydropyrrolo[3,4-b]pyridin-6-yl]-8-cyano-1-cyclopropyl-6-fluoro-4-keto-quinoline-3-carboxylic acid