Appears to be working. Pay little mind to the estimated size.

Right-to-left, the results of an AVI as exported at 1280 x 720 Mp4. Both source and result used the H264 codec.
default (file size - 0 compression),
medium (average - 56 compression)
low (smaller - 27% compression) file size settings