Sequencing HIV proviruses over time provides new insights into reservoir decay