7-(1-piperazinyl)-1-cyclopropyl-6-fluoro-5-methyl-1,4-dihydro-4-oxoquinoline-3-carboxylic acid