You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name N-(2-piperidin-4-ylideneethyl)-7-thia-2,3-diazatricyclo[6.3.1.04,12]dodeca-1,4(12),5,8,10-pentaene-6-carboxamide;dihydrochloride ?
user
C17H20Cl2N4OS
assistant