You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule 11-(4-piperidin-1-ylpiperidine-1-carbonyl)-7-thia-1,9-diazatricyclo[6.4.0.02,6]dodeca-2(6),8,10-trien-12-one into molecular formula.
user
C20H26N4O2S
assistant