3-(Hydroxymethylene)-4a-methyloctahydro-2(1H)-naphthalenone AIDS-127729 AIDS127729 NSC179312