(8aS)-1,3-dioxo-2-[(1S,2R)-2-phenylcyclopropyl]-N-(1-phenyl-1H-pyrazol-5-yl)hexahydroimidazo[1,5-a]pyrazine-7(1H)-carboxamide (HCID 56662793)|Huagongshe