A 25-year-old man has a 2-year history of worsening right leg pain, exacerbated by walking even short distances. On examination, his right femoral popliteal, and posterior tibial arterial pulses are absent. His total cholesterol is 430 mg/dL (desirable ≤ 200 mg/dL), and his HDL cholesterol is 22 mg/dL (normal ≥ 35 mg/dL). His CT angiogram is shown. What is the diagnosis?