You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule (3aR,6aS)-5-benzylspiro[3a,6a-dihydro-[1,3]dioxolo[4,5-c]pyrrole-2,1'-cyclohexane]-4,6-dione ?
user
C17H19NO4
assistant