José Dinis Pinto de Magalhães Rodrigues