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 (1R,4S)-7-[[2-[3-(2-methyl-1,3-dioxolan-2-yl)but-3-enyl]-1,3-dioxolan-2-yl]methylidene]-2,3-diazabicyclo[2.2.1]hept-2-ene ?
user
C17H24N2O4
assistant