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 (3aS,7R,7aR)-7-hydroxy-4,4,7a-trimethyl-2,3,3a,5,6,7-hexahydroinden-1-one ?
user
C12H20O2
assistant