3-(3-(Diphenylphosphoryl)propyl)cholestane AIDS-144625 AIDS144625 NSC667685