Antonín Mrkos
小行星4176（）是一颗围绕太阳公转的小行星。1987年2月24日，安東寧·姆爾科斯在克列特发现了此天体。