Quantitative similarity of HIV gp160 V513E-dominant reduction of fusion and infection with fusion by the gp41 ectodomain hairpin supports an important fusion role for the final trimer-of-hairpins structure