Hasil langsung Lucas Gerch vs Pedro Rodrigues pada 23/06 di turnamen ATP Challenger Lima, Peru Men Singles