3a,6a-Dimethyltetrahydro-2,5(1H,3H)-pentalenedione AIDS-135288 AIDS135288 NSC634714