1,2-Dideoxy-3,4-O-(oxomethylene)pent-1-enitol AIDS-150778 AIDS150778 NSC688887