1,3-dioxo-2-(2-phenylcyclopropyl)-N-(2-phenylphenyl)-5,6,8,8a-tetrahydroimidazo[1,5-a]pyrazine-7-carboxamide