Resultados en vivo de Henrique Rocha vs Pedro Martinez el 20/07 en el torneo ATP Estoril, Portugal Men Singles