Pippin 1972 Original Broadway Cast