You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 2-[[(2R)-2-(1,3-benzothiazol-2-yl)piperidin-1-ium-1-yl]methyl]-4-prop-2-enyl-1,2,4-triazole-3-thione into its molecular formula.
user
C18H22N5S2+
assistant