在烹饪中，有一种调色材料叫红粉，但我不知道他有没有别称，或可以在哪买到，麻烦知道的人士告诉我一下。