Na doença Miastenia Gravis, há diminuição dos receptores nicotínicos pós-sinápticos. Qual dos medicamentos abaixo é usado para seu tratamento?