高危行为30天后检查HIV为阴性，在多大概率上可证明未感染艾滋病。