(3aS-cis)-Tetrahydro-1,3-bis(phenylmethyl)-1H-thieno<3,4-d>imidazole-2,4-dione, (4S,5R)-1,3-dibenzyl-3,3a,6,6a-tetrahydro-1H-thieno[3,4-d]imidazole-2,4-dione, (3aS,6aR)-1,3-dibenzyltetrahydro-1H-thieno[3,4-d]imidazole-2,4-dione, (3aS,6aR)-1,3-Dibenzyl-3a,6a-dihydro-1H-thieno[3,4-d]imidazole-2,4(3H,6H)-dione, (3aS,6aR)-1,3-dibenzyl-tetrahydro-4H-thieno[3,4-d]-imidazole-2,4(1H)-dione,