👤 Miguel Mihura (1905-77), Spanish playwright