What Child Is This? music and lyrics.