You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule dimethyl 1-[(2-amino-1,3-thiazol-5-yl)methyl]piperidine-2,3-dicarboxylate;hydrochloride into molecular formula.
user
C13H20ClN3O4S
assistant