Selenocysteine in mammalian thioredoxin reductase and application of ebselen as a therapeutic | Litlas