4-ethyl-3-[(4-methylphenyl)sulfonyl]-3aH-benzo[e]3-imidazolino[5,1-c]1,2,4-thiadiazaperhydroine-5,5-dione AIDS-070840 AIDS070840