You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 1-[(5-oxo-[1,3]thiazolo[3,2-a]pyrimidin-7-yl)methyl]piperidin-1-ium-4-carboxamide into its molecular formula.
user
C13H17N4O2S+
assistant