You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3S,4R)-3-[(1R)-1-[tert-butyl(dimethyl)silyl]oxyethyl]-4-[(1R)-2-oxo-3-propan-2-yloxycyclohex-3-en-1-yl]azetidin-2-one is the IUPAC name of a molecule. Please give its molecular formula.
user
C20H35NO4Si
assistant