You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (1R,5S,7S,8R,14S)-12-hydroxy-3,7,11,14-tetramethyl-2-(3-methylbut-2-enyl)tetracyclo[6.5.3.01,9.05,9]hexadeca-3,11-diene-10,13-dione by IUPAC nomenclature, provide its molecular formula.
user
C25H34O3
assistant