You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name methyl (3S,4S)-1-tert-butyl-3-(2,4-difluorophenyl)piperidine-4-carboxylate into its molecular formula.
user
C17H23F2NO2
assistant