dr.divx is a good compressor and divx is meanwhile a very spread format and compression that have very good results... As for recording there are a various tools available - most common is fraps. Anyway you have to edit the vids afterwards - so it doesnt really matter