A 33-year-old male patient complains of feeling severe pain when he tries to turn his neck. The physician realizes that the problem is in his pivot (trochoid) joint. Which of the following joints would most likely be examined?