2,2-Difluoro-1-phenyl-1,5,6,10b-tetrahydro-2H-isoxazolo[3,2-a]isoquinoline AIDS-143533 AIDS143533 NSC664405