HIV virus in vaccines