You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
1-[(3R)-3-aminopyrrolidin-1-yl]-4-[(1,1-dioxo-1,2-benzothiazol-3-ylidene)amino]butan-1-one;hydrochloride is the IUPAC name of a molecule. Please give its molecular formula.
user
C15H21ClN4O3S
assistant