A 22-year-old man has features of arm span greater than height, subluxed lenses, flattened corneas, and dilation of the aortic ring. Which of the following is the most likely diagnosis?