Можно попробовать dbPowerAmp Music Converter. У него куча подключаемых форматов. Вроде есть ATRAC3