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 tert-butyl (3R,4R)-4-[[3-bromo-5-(trifluoromethyl)benzoyl]amino]-3-(3,4-dichlorophenyl)piperidine-1-carboxylate ?
user
C24H24BrCl2F3N2O3
assistant