Question: What was Alan Hale's best known co-discovery formally designated as?
Answer: C/1995 O1