South Korean cable operator selects Harmonic MPEG-4 AVC HD encoder