チオレドキシン還元酵素のカルボキシル基末端配列の酸化還元状態の半経験的分子軌道計算