hi all .. want to ask...is there any software that can record flash sound and convert to mp3?

hai guys ... noob here ... i have a problem here ... i'm recording using JVC hardisk handycam and i reallize the size of the movie that i have recorded too large ... for 1 hour recording the size is about 4G ... so it's kindda hard to upload to my workplace server ... so i'm try to use SUPER free encoder Webpage and don't really know about the setting there .. what is the basic things that i should know about encoding which my aim is to reduce the movie size from 4G to sumthing smaller like divx movies ...