1-benzyltetrahydrothiophenium hexafluorophosphate 87301-53-9 AIDS-156308 AIDS156308 NSC378241