The former Mummers Theater, designed by Johansen for Oklahoma City