1-Butanone, 1-[(2S,5S)-2-[2-(1,3-dioxolan-2-yl)ethyl]-5-phenyl-6-oxa-1-azabicyclo[3.1.0]hex-2-yl]- AIDS-191632 AIDS191632