Thanks, Nat.
Before I got that far, I will try to find a different solution. But thanks, I appreciate your help very much.
I should have mentioned also that in another (much more limited) software, PocketDivXEncoder, the problematic fonts work just fine.