Here are two conversion utilities for MySQL dumps.  Use the one you prefer.
