3-(Hydroxy(methoxy)methylene)-8a-vinyloctahydro-2(1H)-naphthalenone AIDS-131646 AIDS131646 NSC624380