2,2,5-Trimethyl-4,6-dioxa-1-azabicyclo[3.1.0]hexane AIDS-130725 AIDS130725 NSC611078