3-(Trityloxy)-1-propanol AIDS-138720 AIDS138720 NSC646151