You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 3-[2-[(3R)-3-hydroxypyrrolidin-1-yl]-2-oxoethyl]thieno[2,3-d]pyrimidin-4-one is given. What is its corresponding molecular formula?
user
C12H13N3O3S
assistant