7-(Hydroxymethyl)-4a-methyldecahydro-1-naphthalenol AIDS-131631 AIDS131631 NSC624364