tert-butyl 4-(2,4-dioxo-6-phenyl-1,4-dihydrothieno[3,2-d]pyrimidin-3(2H)-yl)piperidine-1-carboxylate