AIDS-142272 AIDS142272 Benzyl 5-iodo-2,2-dimethylhexahydro-7H-[1,3]dioxolo[4',5':4,5]furo[3,2-b]pyrrole-7-carboxylate NSC659307