Also, I tried converting to AVI using VideoPak - information found here:
http://www.dvdrhelp.com/forum/userguides/115913.php
For the Video Compressor, I set "Microsoft Video 1," and for the Audio Compressor, I set "PCM."
I then imported the AVI in Flash, and still no sound was imported.
Update: It seems PCM is the only audio format that will work. All the other ones cause the program to say "cannot open output file."