Depression of the Serum Cholesterol Level in Myxedematous Patients by an Oral Dosage of Sodium Dextrothyroxine Which Has No Effect on the Basal Metabolic Rate or Electrocardiogram*†