Linux: how to convert *.mov to shrink size?

Question

Video processing

There is a pack of videos for 3 minutes, weighing in gigabytes. The resolution is quite adequate, ~1000px horizontally.
How and with what to overtake these videos and in what format to reduce the size? In mp4, for example.

ffmpeg -i manual.mov
-vcodec copy -acodec cop manual.mp4 56:10 with gcc 4.7.2
*** THIS PROGRAM IS DEPRECATED ***
This program is only provided for compatibility and will be removed in a future release. Please use avconv instead.
Seems stream 0 codec frame rate differs from container frame rate: 1000.00 (1000/1) -> 25.00 (25/1)
Input #0, mov,mp4,m4a,3gp,3g2,mj2, from '05_actual-spy.ru. mov':
Metadata:
major_brand : qt
minor_version : 537199360
compatible_brands: qt
creation_time : 2014-03-07 14:29:39
Duration: 00:01:04.08, start: 0.000000, bitrate: 61227 kb/s
Stream #0.0(eng): Video: mpeg4 (Advanced Simple Profile), yuv420p, 1280x960 [PAR 1:1 DAR 4:3], 59677 kb /s, 25 fps, 25 tbr , 25 tbn,
1k tbc s Metadata: creation_time : 2014-03-07 14:29:39 Unknown encoder 'cop'