AIDS-157373 AIDS157373 Cyclohexanamine, 2-(phenylseleno)-, compd. with dichloroplatinum (1:1) NSC638726