papal bull promulgated by Pope Eugene IV