1-Bromo-8a-methyl-6-oxodecahydro-2-naphthalenyl formate AIDS-131628 AIDS131628 NSC624361