1H,4H-3a,6a-Propanopentalene-2,5(3H,6H)-dione AIDS-135283 AIDS135283 NSC634708