You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 5-(4-fluorophenyl)-4-[4-[(E)-3-phenylprop-2-enyl]piperazin-4-ium-1-yl]thieno[2,3-d]pyrimidine by IUPAC nomenclature, provide its molecular formula.
user
C25H24FN4S+
assistant