José Pinto may refer to: