Normal VirtualDub encoding should do the trick -- this is typical process when you capture video using MJPEG or Huffyuv and want to encode it into DivX.