Omtrentlig fødselsår Ottaviano dei conti dei Tuscolo (d. 964), Den katolske kirkes pave som Johannes XII.