HIV virus replication is a time-related process that includes attachment to host cell and fusion, reverse transcription, integration on host cell DNA, transcription and splicing, multiple mRNA transport, protein synthesis, budding and maturation. Long-read sequencing has been applied to the HIV-1 virus genome (type HXB2CG) with the HIV.pro software, a fortran 90 / C++ code for simulating the virus replication cycle, specially RNAPII transcription, exon/intron splicing and ribosome protein synthesis, including the frameshift at gag/pol gene and the ribosome pause at env gene. The detailed analysis of the HIV virus replication and the characterisation of virus proteomics are important for identifying which antigens are presented by macrophages to CD4 cells, for localizing reactive epitopes or for creating transfer vectors to develop new HIV vaccines and effective therapies.