Martins de Oliveira, Antonio Costa de