Alexandre de Moraes’s efforts to fight extremism online have pitted him against Jair Bolsonaro, Elon Musk, and Donald Trump.