5-(Trityloxy)-2-pentanol AIDS-138717 AIDS138717 NSC646148