How to convert ogv (ogg video) to avi (audio video interlaced):

mencoder -idx input.ogv -ovc lavc -oac mp3lame -o output.avi

This is particularly useful to convert the output of recordmydesktop desktop recorder.