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