(-)-(2S,4R)-9-[2-(Hydroxymethyl)-1,3-dioxolan-4-yl]guanine (-).a.-DioxolanG AIDS-005801 AIDS005801