Cançado Trindade, Antônio Augusto, Brazil