You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 2-(5-bromothiophen-2-yl)-1'-methylspiro[1,10b-dihydropyrazolo[1,5-c][1,3]benzoxazine-5,4'-piperidine] into its molecular formula.
user
C19H20BrN3OS
assistant