"O"PERA: Stravinsky enlisted the help of Cocteau for a Libretto based on Sophocles' play about this Theban king