You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 2-hydroxy-2-(4-methoxyphenyl)-1-spiro[6,7-dihydrothieno[3,2-c]pyran-4,4'-piperidine]-1'-ylethanone by IUPAC nomenclature, provide its molecular formula.
user
C20H23NO4S
assistant