20/07 ATP Estoril, Portugal Men Singles 中 Henrique Rocha 对阵 Pedro Martinez 的即时比分