Tert-butyl 1,3-dioxo-2-(2-phenylcyclopropyl)-5,6,8,8a-tetrahydroimidazo[1,5-a]pyrazine-7-carboxylate