2,5,6,7,8,8a-hexahydro-1H-imidazo[1,5-a]pyrazin-3-one