You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name methane;methyl (1S,2R,3S)-3-(1,3-benzodioxol-5-yl)-2-methyl-5-oxo-1-prop-2-enylcyclohexane-1-carboxylate into its molecular formula.
user
C20H26O5
assistant