7-[1-(t-Butoxycarbonylamino)-3-azabicyclo[3.2.0]hept-3-yl]-1-cyclopropyl-6,8-difluoro-1,4-dihydro-4-oxoquinoline-3-carboxylic acid