Emperor Antoku
小行星5242以平安时代末期高仓天皇的中宫、安德天皇的生母建礼门院命名。与建礼门院相关的得到小行星命名的人物有：