AIDS-134236 AIDS134236 Diphenyl(8-((triethyl-.lambda.~4~-sulfanyl)methyl)-1,2,3,5,6,7,8,8a-octahydro-2-naphthalenyl)phosphine oxide NSC631798