6-(Hydroxymethyl)-2,2-dimethylhexahydro-1,3-benzodioxole-4,6-diol AIDS-131622 AIDS131622 NSC624354