A 26-year-old woman has had bouts of joint pain for the past 2 years. She also has a rash on the cheeks and bridge of the nose. The ANA test result by immunofluorescence is shown in the figure . Which of the following diseases is he most likely to have?