Risultati in diretta di Henrique Rocha vs Pedro Martinez il 20/07 nel torneo ATP Estoril, Portugal Men Singles