You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (3R,4S)-4-(1,3-dioxan-2-yl)-1-(1-methylimidazol-4-yl)sulfonyl-N-[3-(trifluoromethyl)phenyl]pyrrolidin-3-amine into molecular formula.
user
C19H23F3N4O4S
assistant