Sounds like the codecs weren't installed. Those you listed are just the base Windows installed codecs. Its better to use uncompressed or the Huffy codec and leave the compression til the final export. If you want to export to MP4/H264 and can't install the codecs then used Avidemux (its free). This has the codecs built into the program and lets you export even when you don't have the compressor side of the codec (ie machines at work
). See how you go. I've moved over to the mac side of video work these days so my knowledge Win things is a bit dated.