José Maria de Magalhães Pinto Ribeiro