1-(3-Ethynylphenyl)-3-(triphenylphosphoranylidene)-2,5-pyrrolidinedione AIDS-135013 AIDS135013 NSC634179