CorpGroup vende mall en US$ 72 millones a Grupo Patio