You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 1-(4-hydroxycyclohexyl)prop-2-enyl prop-2-enyl carbonate into its molecular formula.
user
C13H20O4
assistant