(3aS,6aS)-tert-butyl 5-(5-(3,5-difluorophenylcarbamoyl)pyridin-3-yl)hexahydropyrrolo[2,3-c]pyrrole-1(2H)-carboxylate