2,2-Dimethyl-tetrahydro-[1,3]dioxolo[4,5-c]pyran-6-one AIDS-142268 AIDS142268 NSC659301