What was Alan Hale's best known co-discovery formally designated as?