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 7-(2,3-dihydroxybenzoyl)-1,2,5,6,8,8a-hexahydroimidazo[1,5-a]pyrazin-3-one ?
user
C13H15N3O4
assistant