Less than three hours ago, I asked here if someone could recommend a piece of software I need. Several folks, the first of whom was Steve Billnitzer, suggested dbpoweramp Music Converter. I'm using it now and it seems like exactly what I need, especially since I downloaded some extra codecs. Thanks, all.