Pyrrolidine, 1-((1,2,3,4-tetrahydro-3,7-dimethyl-4-oxo-1-(phenylmethyl)-2-thioxopyrido(2,3-d)pyrimidin-6-yl)carbonyl)-