Otto Alencar encontrou com nome escolhido por Lula para compor o STF durante recesso; titular da AGU disse que retomaria campanha assim que voltasse a Brasília