2-Butyloxycarbonyl-1,1,10-trimethyl-6,9-epidioxy decalin AIDS-146911 AIDS146911 NSC675726