original broadway cast of pippin