(8R,9aS)-8-hydroxy-2-(prop-2-yn-1-yl)hexahydropyrrolo[2,1-d][1,2,5]thiadiazepin-1(2H)-one 3,3-dioxide