Governo brasileiro informou ao STF ter formalizado o pedido de extradição do condenado por integrar a cúpula da trama golpista