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 identified by (2R,3R)-2-[(E)-prop-1-enyl]-1,4-dioxaspiro[4.5]decane-3-carboxylic acid ?
user
C12H18O4
assistant