Resultados ao vivo de Henrique Rocha vs Pedro Martinez em 20/07 no torneio ATP Estoril, Portugal Men Singles