Cançado Trindade, Antonio Augusto