hmmm
checkout awave. it's a converter that i have used to convert sound banks and sound fonts. it has proven to be a really powerful tool. you can download a demo on the net that will be fully working but for only 1 conversion at a time for 14 days. if you can convert one wav64 then, you know with the working version that you would be able to batch convert it.
good luck