You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
1-[3-[3-(3,4-difluorophenyl)-2,2-dimethylpyrrolidin-1-yl]-2-hydroxypropyl]cyclobutan-1-ol;hydroiodide is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H28F2INO2
assistant