7-Methyl-3-methylene-6-(3-oxo-1-butenyl)-3,3a,4,7,8,8a-hexahydro-2H-cyclohepta[b]furan-2-one AIDS-127015 AIDS127015 NSC136704 Xanthatin