Mikuláš, čert