1-Ethyl-6,8-difluoro-1,4-dihydro-7-(3-hydroxy-1-piperidinyl)-4-oxoquinoline-3-carboxylic acid