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 1-[4,4-bis(4-fluorophenyl)but-3-enyl]-4-ethynylpiperidine ?
user
C23H23F2N
assistant