ethyl 1-cyclopropyl-6-fluoro-7-[4-[(2-methylpropan-2-yl)oxycarbonyl]piperazin-1-yl]-4-oxoquinoline-3-carboxylate