1,4-Dihydroxydecahydrodicyclopenta[cd,gh]pentalene-3,6-dione AIDS-134942 AIDS134942 NSC634072