((R)-1-benzylaziridin-2-yl)((3aR,6S,7aS)-8,8-dimethyl-2,2-dioxidohexahydro-1H-3a,6-methanobenzo[c]isothiazol-1-yl)methanone