4,5-dihydro-7-oxo-8-(m-fluorophenyl)-7H-thieno[2,3-a]quinolizine-10-carboxylic acid