Wyniki na żywo Henrique Rocha vs Pedro Martinez w dniu 20/07 w turnieju ATP Estoril, Portugal Men Singles