Which musical with lyrics by Carol Hall featured the performance of Gary Sandy?