You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Name the molecular formula for the molecule established as [(2S)-2-[(3S,5R)-5-(3-chlorophenyl)-6-(4-chlorophenyl)-3-methyl-2-oxo-3-prop-2-enylpiperidin-1-yl]butyl]azanium using the IUPAC nomenclature.
user
C25H31Cl2N2O+
assistant