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 (2S,3S,4R,5R,6S)-4-(4-fluorophenyl)-3-methyl-2,6-diphenyl-5-propylpiperidin-1-ium-4-ol ?
user
C27H31FNO+
assistant