You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 4-[(5,6-dimethyl-4-oxo-4aH-thieno[2,3-d]pyrimidin-2-yl)methyl]-N-(4-fluorophenyl)piperazine-1-carboxamide into its molecular formula.
user
C20H22FN5O2S
assistant