DivX4と5ではどのくらい圧縮率に差があるのか教えて。