Dextrothyroxine for Lowering Serum Cholesterol