Vaccinia from recombinant virus expressing HIV genes