You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by 7-[(S)-(1-benzyltetrazol-5-yl)-(4-methylpiperidin-1-yl)methyl]-5H-[1,3]dioxolo[4,5-g]quinolin-6-one ?
user
C25H26N6O3
assistant