A nurse is caring for a client who has a low thyroid stimulating hormone (TSH) level and elevated thyroxine (T4) and triiodothyronine (13) levels. Which of the following medications should the nurse anticipate to treat Graves' disease?