A 4-year-old boy develops severe bleeding into the knee joint. Laboratory studies show that serum levels of factor IX are reduced, but levels of factor VIII are normal. What is the appropriate diagnosis?