(+)-(2R,4S)-9-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]adenine (+).a.Dioxol-A AIDS-005416 AIDS005416