A song with lyrics by Charles Hart featured in a 1986 musical was written by a man who has composed how many musicals total?