AIDS-121235 AIDS121235 Ethenesulfonamide, N-[(2R,3S)-2-methyl-4-oxo-3-oxetanyl]-2-phenyl-, (E)- N-(trans-beta-Styrenesulfonyl)-Lthreonine-beta-lactone