1-Piperazineethanol, 4-[(3E)-3-[2-(trifluoromethyl)-9H-thioxanthen-9-ylidene]propyl]- AIDS-115424 AIDS115424 trans(E)Flupenthixol