"Faust", reż. Janusz Wiśniewski, muzyka Jerzy Satanowski