You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (4S,7S,10aS)-4-amino-5-oxo-N-(1,3-thiazol-2-yl)-2,3,4,7,8,9,10,10a-octahydropyrido[2,1-b][1,3]thiazepine-7-carboxamide;hydrochloride into its molecular formula.
user
C13H19ClN4O2S2
assistant