Keputusan langsung Anthony Sinisuka Ginting menentang Anders Antonsen pada 15/10 dalam kejohanan Denmark Open, Singles