Adaptateur convertisseur DisplayPort vers HDMI, 4K DP Display Port vers HDMI