You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name [(3R)-1-methylpiperidin-1-ium-3-yl] 3-[(3R,5R)-3,5-dimethylpiperidin-1-yl]sulfonylbenzoate into its molecular formula.
user
C20H31N2O4S+
assistant