I did just spend about an hour googling for any of the
above
solutions but to no avail. There was a widely-pirated sound
format converter I remember under Windows, Awave maybe?
but I don't know of a Linux equivalent whether free or not. Any
ideas would be appreciated.
sox is what you need
http://sox.sourceforge.net/