As the envelope is being formed, the HIV leaves the cell. This stage is known as budding. The virus moves through the cell membrane, acquires an envelope, and exits into the extracellular environment. It is now ready to infect another cell.