You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule tert-butyl (2S,5S)-2-methyl-5-[(6S)-6-methyl-4-(2,2,2-trifluoroacetyl)-4,7-diazaspiro[2.5]octane-7-carbonyl]pyrrolidine-1-carboxylate ?
user
C20H30F3N3O4
assistant