男，12岁，反复关节肿痛。查：凝血时间31分钟，凝血酶原时间12秒（对照13秒），激活的部分凝血活酶时间80秒（对照45秒）。以上结果符合的诊断是（）