António da França Pinto de Oliveira