AIDS-211735 AIDS211735 Aziridine, 1-tricyclo[3.3.1.1]dec-1-yl-