You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (2S,3R,4S)-1-benzyl-2-methyl-4-(2-phenylethyl)-3-prop-2-enylpiperidine into its molecular formula.
user
C24H31N
assistant