3-Phenyl-2-(1-piperazinylmethyl)-5,6,7,8-tetrahydro[1]benzothieno[2,3-d]pyrimidin-4(3H)-one AIDS-152907 AIDS152907 NSC698133