If it's the odd file you want to convert, rather than en-masse, maybe you
should try
http://media-convert.com/

<http://media-convert.com/>it's free, and doesn't require any installation -
and is os independent, so can be used from any pc.. Obviously not so handy
if you've got 100's of files to convert..