(8aR)-2-azetidin-3-ylhexahydropyrrolo[1,2-a]pyrazin-6(2H)-one (HCID 16124369)|Huagongshe