小行星12580

小行星12580 （ 12580 Antonini ） 是一顆繞太陽運轉的小行星 ， 爲主小行星帶小行星 。 該小行星於1999年9月8日發現 。