You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3R,5S)-5-[(1S)-1-amino-2-cyclohexylethyl]-3-(2-chloroprop-2-enyl)oxolan-2-one;hydrochloride by IUPAC nomenclature, provide its molecular formula.
user
C15H25Cl2NO2
assistant