Formoso, el Papa que fue desenterrado y juzgado