Cholesterol‐lowering effect of dextro‐thyroxine in patients with hypercholesterolemia and coronary diseasel