You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (4R,4aR,7R)-4-ethyl-2,2,4a,7-tetramethyl-7,7a-dihydro-4H-furo[3,2-d][1,3]dioxin-6-one ?
user
C12H20O4
assistant