Disulfide engineering catches a self-splicing intein in a redox trap Academic Article uri icon