Résultats en direct de Lei Lanxi contre Anders Antonsen le 16/07 dans le tournoi Japan Open, Singles