You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 3-[1-(4-chlorobenzoyl)-3-(3,4-dichlorophenyl)pyrrolidin-3-yl]propane-1-sulfonate by IUPAC nomenclature, provide its molecular formula.
user
C20H19Cl3NO4S-
assistant