How does one go about converting a 640x480 DivX down to 512x384 with as little quality loss from the original as possable?