1H-Isoindole-1,3(2H)-dione, 2-[(3S)-2-oxo-3-oxetanyl]- AIDS-121234 AIDS121234