You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (8aR)-2-(1,3-benzodioxol-4-yl)-1-hydroxy-6,7,8,8a-tetrahydro-5H-indolizin-3-one into molecular formula.
user
C15H15NO4
assistant