|There might be a batch converter out there. Keep looking for one.|
Depends on how many files you are talking about.
If less than 100 you ought to just open in some processor that supports both formats and then save as (sometimes you have to export).
Playing to the angels
Les Paul (1915-2009)