You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name methyl (3R,4R)-3-[[(2-methylpropan-2-yl)oxycarbonylamino]methyl]-1,1-dioxothiane-4-carboxylate into its molecular formula.
user
C13H23NO6S
assistant