Entertainment: who played the title role in my favorite martian