Thanks! I used Videoscribe by Sparkol. In the end, I used their paid version, which provided high resolution and soundtrack integration, but their free trial is pretty comprehensive as well.