1-Cyclopropyl-5,6-difluoro-7-(cis-3,5-dimethyl-1-piperazinyl)-1,4-dihydro-4-oxoquinoline-3-carboxylic acid