1.8.4.16 thioredoxin:protein disulfide oxidoreductase (dithiol-forming)