You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (4aR,5S,8S,8aR)-5-(1,3-dioxolan-2-yl)-8-methyl-4a,5,8,8a-tetrahydronaphthalene-1,4-dione by IUPAC nomenclature, provide its molecular formula.
user
C14H16O4
assistant