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 4-[[4-ethenyl-5-[(Z)-prop-1-enyl]-1H-imidazol-2-yl]-(4-fluorophenyl)methylidene]piperidine ?
user
C20H22FN3
assistant