type 1 proatlantal artery