编码产生包膜糖蛋白的HIV病毒基因是_____。