(4aS,7aS)-6,7a-Diphenylspiro[7,4a,7a-trihydrocyclopenta[2,1-e]1,2,4-trioxane-3,4'-thiane] 124325-92-4 AIDS-166397 AIDS166397 Thiahexatroxane