What is the name of Lucifer's mischievous and scheming twin brother who serves as a major antagonist?