Diamantino Augusto Ribeiro de Pontes