“El duende”, “Patio andaluz” y “Coco (la película)”, ganadores del concurso de máscaras del Carnavalcázar 2020