1-(2-Propynyl)-3-piperidinol 2-butenedioate AIDS-155901 AIDS155901 NSC18618