Rojo mexicano, la grana cochinilla en el arte; ¿qué es?