DTS, DTSHD to WMA convertor