2-[trans-2-phenylcyclopropyl]tetrahydroimidazo[1,5-a]pyrazine-1,3(2H,5H)-dione|Huagongshe