papillomatosis coronae penis Synonyms