A 52-year-old HIV-positive man with abdominal pain