You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3R,4R)-1-benzyl-4-(trifluoromethyl)pyrrolidine-3-carboxylic acid;hydrochloride by IUPAC nomenclature, provide its molecular formula.
user
C13H15ClF3NO2
assistant