76990-30-2 AIDS-129443 AIDS129443 Cyclohexyl 3-oxido-2,3,4,5-tetrahydro-1H-2,4,3-benzodiazaphosphepin-3-ylcarbamate NSC348051