1,6-Di(3'.beta.-cholestanyl)-3-hexene 3-(6-Cholestan-3-yl-3-hexenyl)cholestane AIDS-137396 AIDS137396 NSC641453