To compress a 13MB already compressed video in order to make it smaller in size, we recommend you to make movie the Windows Media Format (WMV).
From WMV Properties, select a profile with the least bit-rate. You can achieve the smallest file-size by using a profile for streaming.