Atanasio de Alejandría se refiere a un obispo de Petra llamado Asterius.