8-(Methoxycarbonyl)octyl 5-deoxy-5-[(4S)-4-(hydroxymethyl)pyrrolidin-1-yl]-.alpha.-D-arabinofuranoside AIDS-180830 AIDS180830