You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (3aR,6aS)-3-oxo-5-(4-pyrazol-1-ylbenzoyl)-2,3a,4,6-tetrahydro-1H-pyrrolo[3,4-c]pyrrole-6a-carboxylic acid into its molecular formula.
user
C17H16N4O4
assistant