1-Pyrrolidinecarboxylic acid, 3-hydroxy-,(4,7-dihydro-7-oxo-8-phenyl-5H-thieno[2,3-a]quinolizin-10-yl)methylester