music: who portrayed judas in the original broadway "jesus christ superstar