(1R,3aS,4S,5aR,5bR,7aR,11aR,11bR,13aR,13bR)-1-Isopropenyl-5a,5b,8,8,11a-pentamethyl-9-oxo-eicosahydro-cyclopenta[a]chrysene-3a-carbaldehyde 3,28-Dideoxy-3,28-dioxobetulin AIDS-080370 AIDS080370 Betulone aldehyde