musical score of cheers theme song written by gary portnoy and judy hart