Paciente de 32 anos, evoluindo com perda ponderal e palpitações. Holter evidenciou fibrilação atrial. Exames laboratoriais com TSH 0,002. Dentre as drogas abaixo, a primeira a ser iniciada deveria ser: