You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by N-[(1-methylimidazol-2-yl)methyl]-N-propylspiro[4,5-dihydrothieno[2,3-c]pyran-7,4'-piperidine]-2-carboxamide ?
user
C20H28N4O2S
assistant