António Augusto da Rocha Peixoto (n.