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