Kann KI auf einem Mac AVI in MP4 umwandeln?