1-(2-Oxo-2-(4-(2-phenylvinyl)-1-piperazinyl)ethyl)-4-phenyl-4-piperidinol AIDS-130031 AIDS130031 NSC374353