Markov Chain-Based Stochastic Modelling of HIV-1 Life Cycle in a CD4 T Cell