You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule tert-butyl (2S)-2-methyl-3-oxo-2-prop-2-enylpiperidine-1-carboxylate;methane;(2S)-2-methyl-2-propylpiperidin-3-one;(6R)-6-propyl-1-azabicyclo[4.2.0]octane-5,8-dione ?
user
C35H63N3O6
assistant