You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (E)-3-(3-bromophenyl)-1-(1,1,2,2,2-pentafluoroethylsulfanyl)-4-piperidin-1-ylbut-3-en-2-one into its molecular formula.
user
C17H17BrF5NOS
assistant