diana o musical