A 40-year-old woman presents with fatigue, weight gain, cold intolerance, constipation, and dry skin.TSH is elevated at 9.2 mIU/L with low free T4.The diagnosis is: