2,8-Dimethyl-10H-phenothiaphosphinin-10-ol 5,5,10-trioxide AIDS-015571 AIDS015571 NSC666507 NSC87214