pippin 1972 original broadway cast recording