Dramatic and theological uses of the devil in four Siglo de Oro plays