7-Thia-1-azabicyclo[4.2.0]octa-3,5-diene-5,8-dicarboxylic acid,8-(1-methylethenyl)-2-oxo-, 8-methyl 5-(phenylmethyl) ester