7-fluoro-1-[(1R,2S)-2-fluorocyclopropyl]-8-methyl-1,4-dihydro-4-oxoquinoline-3-carboxylic acid