In vivo, in vitro, and in silico analysis of methylation of the HIV-1 provirus