MPEG-4 DIRECTV spends on HDTV compression