User-agent: *
Disallow: /contact.php*

user-agent: MJ12bot
User-agent: HTTrack
User-agent: wget
User-agent: HTTrack 3.0
User-agent: HTTrack [NC,OR]
Disallow: /