José de Magalhães Pinto Ribeiro