X-ray structure of human thioredoxin reductase 1