1972 original broadway cast pippin (1972 original broadway cast)