You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name tert-butyl (3R)-3-[[7-methyl-3-oxo-4-[2-(propanoylamino)ethyl]spiro[1,4-benzothiazine-2,1'-cyclobutane]-6-carbonyl]-propan-2-ylamino]piperidine-1-carboxylate into its molecular formula.
user
C31H46N4O5S
assistant