You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name 5-(3-hydroxypiperidine-1-carbonyl)-3-methyl-1-(2-methylpropyl)-6-(naphthalen-1-ylmethyl)thieno[2,3-d]pyrimidine-2,4-dione ?
user
C28H31N3O4S
assistant