You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(1R,9R,10S,13S)-17-(cyclopropylmethyl)-4,10-dihydroxy-1'-(2,2,2-trifluoroethyl)spiro[17-azatetracyclo[7.5.3.01,10.02,7]heptadeca-2(7),3,5-triene-13,5'-pyrrolidine]-2',4'-dione is the IUPAC name of a molecule. Please give its molecular formula.
user
C25H29F3N2O4
assistant