I've used IE Converter to do conversions before, but it's not command-line or anything. Worked well for me just to convert once, not to maintain bookmarks in both places.