Krenek, Ernst (1900-1991)