You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name 5-[2-(2-methylpropyl)-1,1-dioxospiro[3,5-dihydro-6,1lambda6,2-benzoxathiazocine-4,4'-piperidine]-1'-carbonyl]pyrrolidin-2-one ?
user
C22H31N3O5S
assistant