I export to a Quicktime and then use Sorensen Squeeze to encode over to WMV. Best results I've found.