Diogo Pinto may refer to: