who wrote “johnny’s theme,” the signature music of johnny carson’s tonight show?