mmm man
no se puede grabar en mp4 es un formato mas complejo para ese SE ya se ha posteado antes te explico

1 el mp4 se requiere audio AAC y su microfono de w580 solo graba amr
2 la camara solo llegua a 15 fps asta ahora mayormente los que graban a mp4 rebasan los 25fps

Y ASTA AHORA NO ES POSIBLE GRABAR EN ESE FORMATO
SOLO LOS MAS NUEVOS PUEDEN COMO EL
w760-k850-z750-w595